guarded door - definição. O que é guarded door. Significado, conceito
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

O que (quem) é guarded door - definição

FORMAL LANGUAGE FOR PREDICATE TRANSFORMER SEMANTICS INTRODUCED BY BY EDSGER DIJKSTRA
Guarded command; Guarded commands

door         
  • Parts of a panel or glazed door
  • Joint between midrail, lockrail and a gunstock stile
  • Door of the [[Florence Baptistery]] called ''The Gates of Paradise'', 1425–1452, gilded bronze, height: 5.2 m
  • A frame and filled door
  • Entrance of the [[Kunsthistorisches Museum]] ([[Vienna]], Austria)
  • Transparent awning in [[Luxembourg]], above a door
  • A diagram illustrating the components of a panel door
  • Roman]] folding doors at [[Pompeii]], from the first century AD, similar with Neoclassical doors from the 19th century
  • Palace of São Cristóvão]], the former main residence of the [[Brazilian imperial family]] with gilded [[imperial cypher]]s of Emperor [[Pedro II of Brazil]]
  • ''Evolution Door'', 2013
  • The main types of door mechanisms
  • Roman]] wall painting of an ornate door, in the [[Villa Boscoreale]] (Italy), from the first century AD
  • Glass door decorated with [[Art Nouveau]] elements, from the [[Singer House]] ([[Saint Petersburg]], Russia)
FLAT, MOVABLE STRUCTURE USED TO OPEN AND CLOSE AN ENTRANCE
French door; Blind door; French doors; Handing; Door safety; Door guard; Swing door; Bifold door; Inged door; Hinged door; French window; Door And Door-post; Saloon doors; Interior door; DOOR; Door frame; Flush door; Selfbolting door; Door guards; 🚪; Doorframe; Hinged doors; Hinge door; Hinge doors; Hinge-door; Hinge-doors; Hingedoor; Hingedoors; Doors; Door knock; Self-opening door; User:Aliaume Damala Badara Akon Thiam; Types of Doors; Dooor; Wooden door
(doors)
Frequency: The word is one of the 700 most common words in English.
1.
A door is a piece of wood, glass, or metal, which is moved to open and close the entrance to a building, room, cupboard, or vehicle.
I knocked at the front door, but there was no answer...
The policeman opened the door and looked in...
N-COUNT
2.
A door is the space in a wall when a door is open.
She looked through the door of the kitchen. Her daughter was at the stove.
= doorway
N-COUNT
3.
Doors is used in expressions such as a few doors down or three doors up to refer to a place that is a particular number of buildings away from where you are. (INFORMAL)
Mrs Cade's house was only a few doors down from her daughter's apartment.
N-PLURAL: amount N down/up
4.
see also next door
5.
When you answer the door, you go and open the door because a visitor has knocked on it or rung the bell.
Carol answered the door as soon as I knocked.
PHRASE: V inflects
6.
If you say that someone gets or does something by the back door or through the back door, you are criticizing them for doing it secretly and unofficially.
The government would not allow anyone to sneak in by the back door and seize power by force...
PHRASE: PHR after v [disapproval]
7.
If someone closes the door on something, they stop thinking about it or dealing with it.
We never close the door on a successful series.
PHRASE: V inflects: PHR n
8.
If people have talks and discussions behind closed doors, they have them in private because they want them to be kept secret.
...decisions taken in secret behind closed doors.
PHRASE: PHR after v, PHR n
9.
If someone goes from door to door or goes door to door, they go along a street calling at each house in turn, for example selling something.
They are going from door to door collecting money from civilians.
PHRASE: PHR after v, PHR n
10.
If you talk about a distance or journey from door to door or door to door, you are talking about the distance from the place where the journey starts to the place where it finishes.
...tickets covering the whole journey from door to door...
PHRASE
11.
If you say that something helps someone to get their foot in the door or their toe in the door, you mean that it gives them an opportunity to start doing something new, usually in an area that is difficult to succeed in.
The bondholding may help the firm get its foot in the door to win the business...
PHRASE: N inflects, PHR after v
12.
If someone shuts the door in your face or slams the door in your face, they refuse to talk to you or give you any information.
Did you say anything to him or just shut the door in his face?
PHRASE: V inflects
13.
If you lay something at someone's door, you blame them for an unpleasant event or situation.
The blame is generally laid at the door of the government.
PHRASE: V inflects
14.
If someone or something opens the door to a good new idea or situation, they introduce it or make it possible.
This book opens the door to some of the most exciting findings in solid-state physics...
PHRASE: V and N inflect, oft PHR to n
15.
When you are out of doors, you are not inside a building, but in the open air.
The weather was fine enough for working out of doors.
= outdoors
PHRASE: PHR after v, v-link PHR
16.
If you see someone to the door, you go to the door with a visitor when they leave.
PHRASE: V inflects
17.
If someone shows you the door, they ask you to leave because they are angry with you.
Would they forgive and forget-or show him the door?
PHRASE: V inflects
18.
at death's door: see death
DOORS         
  • Parts of a panel or glazed door
  • Joint between midrail, lockrail and a gunstock stile
  • Door of the [[Florence Baptistery]] called ''The Gates of Paradise'', 1425–1452, gilded bronze, height: 5.2 m
  • A frame and filled door
  • Entrance of the [[Kunsthistorisches Museum]] ([[Vienna]], Austria)
  • Transparent awning in [[Luxembourg]], above a door
  • A diagram illustrating the components of a panel door
  • Roman]] folding doors at [[Pompeii]], from the first century AD, similar with Neoclassical doors from the 19th century
  • Palace of São Cristóvão]], the former main residence of the [[Brazilian imperial family]] with gilded [[imperial cypher]]s of Emperor [[Pedro II of Brazil]]
  • ''Evolution Door'', 2013
  • The main types of door mechanisms
  • Roman]] wall painting of an ornate door, in the [[Villa Boscoreale]] (Italy), from the first century AD
  • Glass door decorated with [[Art Nouveau]] elements, from the [[Singer House]] ([[Saint Petersburg]], Russia)
FLAT, MOVABLE STRUCTURE USED TO OPEN AND CLOSE AN ENTRANCE
French door; Blind door; French doors; Handing; Door safety; Door guard; Swing door; Bifold door; Inged door; Hinged door; French window; Door And Door-post; Saloon doors; Interior door; DOOR; Door frame; Flush door; Selfbolting door; Door guards; 🚪; Doorframe; Hinged doors; Hinge door; Hinge doors; Hinge-door; Hinge-doors; Hingedoor; Hingedoors; Doors; Door knock; Self-opening door; User:Aliaume Damala Badara Akon Thiam; Types of Doors; Dooor; Wooden door
door         
  • Parts of a panel or glazed door
  • Joint between midrail, lockrail and a gunstock stile
  • Door of the [[Florence Baptistery]] called ''The Gates of Paradise'', 1425–1452, gilded bronze, height: 5.2 m
  • A frame and filled door
  • Entrance of the [[Kunsthistorisches Museum]] ([[Vienna]], Austria)
  • Transparent awning in [[Luxembourg]], above a door
  • A diagram illustrating the components of a panel door
  • Roman]] folding doors at [[Pompeii]], from the first century AD, similar with Neoclassical doors from the 19th century
  • Palace of São Cristóvão]], the former main residence of the [[Brazilian imperial family]] with gilded [[imperial cypher]]s of Emperor [[Pedro II of Brazil]]
  • ''Evolution Door'', 2013
  • The main types of door mechanisms
  • Roman]] wall painting of an ornate door, in the [[Villa Boscoreale]] (Italy), from the first century AD
  • Glass door decorated with [[Art Nouveau]] elements, from the [[Singer House]] ([[Saint Petersburg]], Russia)
FLAT, MOVABLE STRUCTURE USED TO OPEN AND CLOSE AN ENTRANCE
French door; Blind door; French doors; Handing; Door safety; Door guard; Swing door; Bifold door; Inged door; Hinged door; French window; Door And Door-post; Saloon doors; Interior door; DOOR; Door frame; Flush door; Selfbolting door; Door guards; 🚪; Doorframe; Hinged doors; Hinge door; Hinge doors; Hinge-door; Hinge-doors; Hingedoor; Hingedoors; Doors; Door knock; Self-opening door; User:Aliaume Damala Badara Akon Thiam; Types of Doors; Dooor; Wooden door
¦ noun
1. a hinged, sliding, or revolving barrier at the entrance to a building, room, or vehicle, or in the framework of a cupboard.
2. the distance from one building to another: he lived two doors away.
Phrases
lay something at someone's door blame someone for something.
out of doors in or into the open air.
Derivatives
-doored adjective
Origin
OE duru, dor, of Gmc origin.

Wikipédia

Guarded Command Language

The Guarded Command Language (GCL) is a programming language defined by Edsger Dijkstra for predicate transformer semantics in EWD472. It combines programming concepts in a compact way. It makes it easier to develop a program and its proof hand-in-hand, with the proof ideas leading the way; moreover, parts of a program can actually be calculated.

An important property of GCL is nondeterminism. For example, in the if-statement, several alternatives may be true, and the choice of which to choose is done at runtime, when the if-statement is executed. This frees the programmer from having to make unnecessary choices and is an aid in the formal development of programs.

GCL includes the multiple assignment statement. For example, execution of the statement x, y:= y, x is done by first evaluating the righthand side values and then storing them in the lefthand variables. Thus, this statement swaps the values of x and y.

The following books discuss the development of programs using GCL:

  • Dijkstra, Edsger W. (1976). A Discipline of Programming. Prentice Hall. ISBN 978-0132158718.
  • Gries, D. (1981). The Science of Programming. Monographs in Computer Science (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: Springer Verlag. doi:10.1007/978-1-4612-5983-1. ISBN 978-0-387-96480-5. S2CID 37034126.
  • Dijkstra, Edsger W.; Feijen, Wim H.J. (1988). A Method of Programming. Boston, MA: Addison-Wesley Longman Publishing Co., Inc. p. 200. ISBN 978-0-201-17536-3.
  • Kaldewaij, Anne (1990). Programming: the derivation of algorithms. Prentice-Hall, Inc. ISBN 0132041081.
  • Cohen, Edward (1990). David Gries (ed.). Programming in the 1990s: An introduction to the calculation of programs. Texts and Monographs in Computer Science. Springer Verlag. doi:10.1007/978-1-4613-9706-9. ISBN 978-1-4613-9706-9. S2CID 1509875.